This volumecontainsa selectionofthe the paperspresentedatthe 17thInter- tional Symposium on Logic-Based Program Synthesis ...
Continue readingThis book constitutes the thoroughly refereed proceedings of the 46th International Conference on Objects, Components, Models ...
Continue reading